Non-tame Mice from Tame Failures of the Unique Branch Hypothesis
نویسندگان
چکیده
منابع مشابه
Non-tame mice from tame failures of the unique branch hypothesis∗†
In this paper, we show that the failure of the unique branch hypothesis (UBH) for tame trees (see Definition 5.1) implies that in some homogenous generic extension of V there is a transitive model M containing Ord∪R such that M AD + Θ > θ0. In particular, this implies the existence (in V ) of a non-tame mouse. The results of this paper significantly extend Steel’s earlier results from [16] for ...
متن کاملTame Failures of the Unique Branch Hypothesis and Models of Adr + Θ Is Regular
In this paper, we show that the failure of the unique branch hypothesis (UBH) for tame trees (see Definition 0.1) implies that in some homogenous generic extension of V there is a transitive model M containing Ord ∪ R such that M ADR + Θ is regular. The results of this paper significantly extend earlier works from [8] and [13] for tame trees. We establish, using the core model induction, a lowe...
متن کاملTame Flows
The tame flows are “nice” flows on “nice” spaces. The nice (tame) sets are the pfaffian sets introduced by Khovanski, and a flow Φ : R×X → X on pfaffian set X is tame if the graph of Φ is a pfaffian subset of R×X×X . Any compact tame set admits plenty tame flows. We prove that the flow determined by the gradient of a generic real analytic function with respect to a generic real analytic metric ...
متن کاملHomogeneously Suslin sets in tame mice
This paper studies homogeneously Suslin (hom) sets of reals in tame mice. The following results are established: In 0¶ the hom sets are precisely the ̃ 11 sets. In Mn every hom set is correctly ̃ 1n+1, and (δ + 1)-universally Baire where δ is the least Woodin. In Mω every hom set is <λ-hom, where λ is the supremum of the Woodins. §
متن کاملTame structures
We study various notions of “tameness” for definably complete expansions of ordered fields. We mainly study structures with locally o-minimal open core, d-minimal structures, and dense pairs of d-minimal structures.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Canadian Journal of Mathematics
سال: 2014
ISSN: 0008-414X,1496-4279
DOI: 10.4153/cjm-2013-036-x